There is a very simple way in which the safe/normal variable discipline of Bellantoni–Cook recursion [S. Bellantoni, S. Cook, A new recursion theoretic characterization of the polytime functions, Computational Complexity 2 97–110] can be imposed on arithmetical theories like PA: quantify over safes and induct on normals. This weakens the theory severely, so that the provably recursive functions become more realistically computable . Earlier results of D. Leivant [Intrinsic theories and computational complexity, in: D. Leivant , Logic and Computational Complexity, (...) Lecture Notes in Computer Science, vol. 960, Springer-Verlag, 1995, pp. 177–194] are re-worked and extended in this new context, giving proof-theoretic characterizations of complexity classes between Grzegorczyk’s E2 and E3. (shrink)

This collection brings together leading anthropologists, historians, philosophers, and artificial-intelligence researchers to discuss the sciences and mathematics used in various Eastern, Western, and Indigenous societies, both ancient and contemporary. The authors analyze prevailing assumptions about these societies and propose more faithful, sensitive analyses of their ontological views about reality--a step toward mutual understanding and translatability across cultures and research fields. Science in the Forest, Science in the Past is a pioneering interdisciplinary exploration that will challenge the way readers interested in (...) sciences, mathematics, humanities, social research, computer sciences, and education think about deeply held notions of what constitutes reality, how it is apprehended, and how to investigate it. (shrink)

DCPS is a connectionist production system interpreter that uses distributed representations. As a connectionist model it consists of many simple, richly interconnected neuron‐like computing units that cooperate to solve problems in parallel. One motivation for constructing DCPS was to demonstrate that connectionist models are capable of representing and using explicit rules. A second motivation was to show how “coarse coding” or “distributed representations” can be used to construct a working memory that requires far fewer units than the number of different (...) facts that can potentially be stored. The simulation we present is intended as a detailed demonstration of the feasibility of certain ideas and should not be viewed as a full implementation of production systems. Our current model only has a few of the many interesting emergent properties that we eventually hope to demonstrate: It is damage‐resistant, it performs matching and variable binding by massively parallel constraint satisfaction, and the capacity of its working memory is dependent on the similarity of the items being stored. (shrink)

The prelims comprise: Introduction The Physician and the Provider Organization The Physician and the Payer Organization Dealing with Systems Conclusion Notes References.

These volumes of Mill's letters have been awaited eagerly by all scholars in the field of nineteenth-century studies. They inaugurate most auspiciously the edition of the Collected Works of John Stuart Mill planned and directed by an editorial committee appointed from the Faculty of Arts and Science of the University of Toronto and from the University of Toronto Press. In this collection of 537 letters and excerpts of letters are included all the personal letters available. It contains 238 hitherto unpublished (...) letters and 72 letters with previously unpublished passages. Letters previously published have been recollated whenever possible. All are meticulously edited and annotated. (shrink)

The Earlier Letters of John Stuart Mill, published in two volumes in 1963, were well received by critics and scholars alike. The publication of these four volumes of later letters completes this edition of Mill's personal correspondence. These volumes contain over 1,800 letters, most never before published, and some sixty earlier letters that have come to light since the publication of the first two volumes of correspondence. The letters have been assembled from widely dispersed collections in the libraries of fifty-eight (...) institutions and of some thirty private collections in Britain and in other countries of the Commonwealth, Europe, and North America. In addition, many personal letters of which no originals sirvived have been located in contemporary periodicals or biographies of Mill's correspondence. (shrink)

Norms are a pervasive yet mysterious feature of social life. In Explaining Norms, four philosophers and social scientists team up to grapple with some of the many mysteries, offering a comprehensive account of norms: what they are; how and why they emerge, persist and change; and how they work.

Geoffrey Lloyd engages in a wide-ranging exploration of what we can learn from the study of ancient civilisations that is relevant to fundamental problems, both intellectual and moral, that we still face today. How far is it possible to arrive at an understanding of alien systems of belief? Is it possible to talk meaningfully of 'science' and of its various constituent disciplines, 'astronomy', 'geography', 'anatomy', and so on, in the ancient world? Are logic and its laws universal? Is there (...) one ontology - a single world - to which all attempts at understanding must be considered to be directed? When we encounter apparently very different views of reality, how far can that be put down to a difference in conceptions of what needs explaining, or of what counts as an explanation, or to different preferred modes of reasoning or styles of inquiry? Do the notions of truth and belief represent reliable cross-cultural universals? In another area, what can ancient history teach us about today's social and political problems? Are the discourses of human nature and of human rights universally applicable? What political institutions do we need to help secure equity and justice within nation states and between them? Lloyd sets out to answer all these questions, and to convince us that the science and culture of ancient Greece and China provide precious resources to advance modern debates. (shrink)

Despite the fact that ethics consultations are an accepted practice in most healthcare organizations, many clinical ethicists continue to feel marginalized by their institutions. They are often not paid for their time, their programs often have no budget, and institutional leaders are frequently unaware of their activities. One consequence has been their search for concrete ways to evaluate their work in order to prove the importance of their activities to their institutions through demonstrating their efficiency and effectiveness.

The fitness of a eukaryote hinges on the coordinated function of the products of its nuclear and mitochondrial genomes in achieving oxidative phosphorylation. I propose that sexual selection plays a key role in the maintenance of mitonuclear coadaptation across generations because it enables pre-zygotic sorting for coadapted mitonuclear genotypes. At each new generation, sexual reproduction creates new combinations of nuclear and mitochondrial genes, and the potential arises for mitonuclear incompatibilities and reduced fitness. In reviewing the literature, I hypothesize that individuals (...) engaged in mate choice select partners with correct species-typical mitochondrial and nuclear genotypes as well as individuals with highly functional cellular respiration. The implication is that mate choice for compatible nuclear and mitochondrial genes can play a significant role in generating the patterns of ornamentation and preferences observed in animals. A number of testable predictions emerge from this mitonuclear compatibility hypothesis of sexual selection. Products of mitochondrial and nuclear genes co-function to enable cellular respiration, so it is critical that compatible mitochondrial and nuclear genes be matched each generation. I propose that a core function of mate choice is selection for mitochondrial and nuclear genes that create compatible and functional combinations in offspring. (shrink)

Darwin himself suggested the idea of generalizing the core Darwinian principles to cover the evolution of social entities. Also in the nineteenth century, influential social scientists proposed their extension to political society and economic institutions. Nevertheless, misunderstanding and misrepresentation have hindered the realization of the powerful potential in this longstanding idea. Some critics confuse generalization with analogy. Others mistakenly presume that generalizing Darwinism necessarily involves biological reductionism. This essay outlines the types of phenomena to which a generalized Darwinism applies, and (...) upholds that there is no reason to exclude social or economic entities. (shrink)

After the Chernobyl’s and Three Miles’s accidents, the relation between technology and risk started to be questioned. Social scientist posited considerable criticism against technology and how its interventions may engender new dangers. However, these views ignored the fact that risks are not just a result of technology, but also depend upon the trust and knowledge. Any risk, first, should be defined as a narrative which is enrooted in a previous cultural and stereotyped framework. By itself, technology is only an instrument (...) employed in different directions. This essay review explores the limitations and approaches of two senior sociologists who delved in the study of risk and climate change, Cass Sunstein and Anthony Giddens. (shrink)

Recent studies challenge the classical view that the origin of animal life was primarily controlled by atmospheric oxygen levels. For example, some modern sponges, representing early‐branching animals, can live under 200 times less oxygen than currently present in the atmosphere – levels commonly thought to have been maintained prior to their origination. Furthermore, it is increasingly argued that the earliest animals, which likely lived in low oxygen environments, played an active role in constructing the well‐oxygenated conditions typical of the modern (...) oceans. Therefore, while oxygen is still relevant to understanding early animal evolution, the relationships between the two might be less straightforward than previously thought. (shrink)

Most organizations and/or their sub-units like ethics programs want to acquire the knowledge, skills and other resources needed to achieve their goals efficiently and effectively. Thus, they want to acquire or develop needed capacity. But there are pre-conditions to building capacity that are often overlooked or forgotten, but which nevertheless, must be in place before capacity can be developed. This essay identifies these pre-conditions and discusses why they are necessary before attempts are made to enhance the capacity of any ethics (...) program. The essay closes by offering a series of questions that ethics program leaders/and or members can asked themselves to assess whether or not these pre-conditions exist. (shrink)

Decisions about targeting medical assistance in humanitarian contexts are fraught with dilemmas ranging from non-availability of basic services, to massive demographic and epidemiological shifts, and to the threat of insecurity and evacuations. Aid agencies are obliged, due to capacity constraints and competing priorities, to clearly define the objectives and the beneficiaries of their actions. That aid agencies have to set limits to their actions is not controversial, but the process of defining the limits raises ethical questions. In MSF, frameworks for (...) resource allocation are subject to constant reflection and reiteration, and perspectives are sought at all levels, from implementers at the programme level to the operational directors at headquarters. The perspectives of the programmes staff hold considerable weight as they have the knowledge and experience with particular communities to assess the degree of vulnerability and need, and are also the people who ultimately have to give explanations to beneficiaries when changes or closures are going to be instituted. Humanitarian agencies have a responsibility to ensuring that their workers are prepared to reflect on these dilemmas, and challenge the status quo when it costs lives. (shrink)

The multifaceted work of the late Susan Leigh Star is explored through a selection of her writings and essays by friends and colleagues. Susan Leigh Star (1954–2010) was one of the most influential science studies scholars of the last several decades. In her work, Star highlighted the messy practices of discovering science, asking hard questions about the marginalizing as well as the liberating powers of science and technology. In the landmark work Sorting Things Out, Star and Geoffrey Bowker revealed (...) the social and ethical histories that are deeply embedded in classification systems. Star's most celebrated concept was the notion of boundary objects: representational forms—things or theories—that can be shared between different communities, with each holding its own understanding of the representation. Unfortunately, Leigh was unable to complete a work on the poetics of infrastructure that further developed the full range of her work. This volume collects articles by Star that set out some of her thinking on boundary objects, marginality, and infrastructure, together with essays by friends and colleagues from a range of disciplines—from philosophy of science to organization science—that testify to the wide-ranging influence of Star's work. Contributors Ellen Balka, Eevi E. Beck, Dick Boland, Geoffrey C. Bowker, Janet Ceja Alcalá, Adele E. Clarke, Les Gasser, James R. Griesemer, Gail Hornstein, John Leslie King, Cheris Kramarae, Maria Puig de la Bellacasa, Karen Ruhleder, Kjeld Schmidt, Brian Cantwell Smith, Susan Leigh Star, Anselm L. Strauss, Jane Summerton, Stefan Timmermans, Helen Verran, Nina Wakeford, Jutta Weber. (shrink)